John D'Arms — historian of ancient history