President Trump said he might rename the Pacific or Atlantic Ocean “Trump Ocean.”