Making a splash: How Jean Esther’s ocean-inspired mural brought new life to Schlegel Park Pool