President signs executive order to rename Gulf of Mexico