The Gulf of Mexico is now called the Gulf of America for Google Maps users in the United States, keeping with the terms of President Trump's controversial executive order to rename the body of water.

The airport offers a mobile app to help travelers on their journey, including flight tracking, an interactive assistant, terminal maps, and audio guidance for visually impaired passengers. The airport ...