Calming the Red Sea could reduce shipping costs by 20%