Now, let’s come back to the idea of renaming it: “Strait of Trump“.