Hotel del Coronado will become a Hilton

Published: 5:40 AM PDT July 6, 2017