When it comes to the Red Sea diversions, the world is moving on