A Naval Biographical Dictionary/Pullen, William John Samuel