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.

An Israeli army reservist’s dream vacation in Brazil ended abruptly last month over an accusation that he committed war ...