How moses split the ocean