A Naval Biographical Dictionary/Carmichael, Thomas