the one upside of Trump renaming the Gulf of Mexico is that it opens up room for a future president to replace the new name with the entire script for Bee Movie