Damming the Red Sea Could Generate Gigawatts