The International Maritime Organization (IMO) said that 115 ships carrying roughly 2,500 crew members had left the Gulf during the…