A Naval Biographical Dictionary/Mathias, Thomas