The Passage through the Red Sea: A type of baptism