The crossing of the Red Sea and the Shira