A Naval Biographical Dictionary/Allen, John (a)