Miami's Vizcaya Museum will save century-old pool-grotto mural with National Park Service grant
Briefly