After at least 350 years of an anglicized 'Gulf of Mexico', a name change to the Gulf of Donald makes as much sense to me.