The Prophetic Typology in Moses and the Red Sea Crossing