El Mar Rojo se secó antes de ser inundado por el Océano Índico