“Children” or “Men” in 2 Kings 2:23?