A Naval Biographical Dictionary/Allen, John (c)