President Donald Trump has declared war. On paper straws. “These things don’t work,” he complained from the Oval Office on Monday while asserting that U.S. policy now aims to end the use of the biodegradable sipping sticks.

President Donald Trump says an executive order will change the name of the Gulf of Mexico to the Gulf of America. He also outlined his desire for the U.S. to take over the Panama Canal. Google on Monday changed the Gulf of Mexico to the Gulf of America in Google Maps.

The AP says in its stylebook that the Gulf of Mexico has carried that name for more than 400 years. As a global news agency, the AP says it will refer to the gulf by its original