Trump’s oceans? US President wants to rename either Atlantic or Pacific