A Naval Biographical Dictionary/Coleman, Thomas