Watch: Why Google Maps renamed the Gulf of Mexico

The Gulf of Mexico has been renamed the Gulf of America on Google Maps in the US. BBC Verify explains why Google made the change.