A Naval Biographical Dictionary/Allen, William