general-news House Votes to Rename Gulf of Mexico as 'Gulf of America', as Per Trump's Proposal , and ASMedia 2025 May 8
