John finishes Exodus 17 with an exhortation to pray