A Naval Biographical Dictionary/Walker, John (a)