A Naval Biographical Dictionary/Waller, Edmund