Trump signed an executive order the day of his inauguration, saying the gulf was “ours” and that it should be renamed ...