Exodus 17 Commentary: Water From the Rock and War With Amalek