El distrito de Pleasant Grove fue agregado en 1955.