The body of water formerly known in the United States as the Gulf of Mexico is now listed for U.S.-based users of Google Maps as the Gulf of America.

Travel agencies and airports are bustling as winter-weary travelers seek warmer destinations. Industry experts say this is the busiest season for air travel, and with the right strategy, passengers ...