Edmund Bohun — British historian