A Naval Biographical Dictionary/Allen, John (b)