Happy Hanukkah to all red-sea-pedestrians