“Now the king and all the people who were with him became weary; so they refreshed themselves there.”