A Naval Biographical Dictionary/Boardman, Robert Ball