A Naval Biographical Dictionary/Jefferies, John Head