who is the owner of the location that is the ninth most-populous city in the u.s. ?
dallas public library