A Naval Biographical Dictionary/Mant, Joseph Bingham