A Naval Biographical Dictionary/Mason, George