A Naval Biographical Dictionary/Mann, Adrian Thomas