A Naval Biographical Dictionary/Muir, Thomas