How many hours did it took the Israeliets to cross the Red Sea.