'Trump Ocean' floated as new name for the Pacific or Atlantic Oceans — CNN