‘We’ll call it ‘Trump Ocean’ or ‘Ocean of the Americas,’ something like that,’ the president said on Oct. 10.