Gov. Ron DeSantis on Monday signed two bills aimed at carrying out President Donald Trump’s directive to change the name of the Gulf of Mexico to the Gulf of America, according to the Florida Senate.