A Naval Biographical Dictionary/Halkett, John