on San Jacinto Mountain, California