Historians dispute the founding of Arlington. Some say Arlington started in 1848 when Col. Middleton Tate Johnson started the settlement called Johnson's Station, a forerunner of Arlington. Others say it was 1876, when the railroad arrived, or 1877, when the post office was established. Still others claim 1884 as the founding, because that was when city leaders incorporated Arlington, naming the town after the home of Gen. Robert E. Lee. Whatever date one chooses for the founding, there is no question that Arlington has grown from its frontier origins into the entertainment center of North Texas. Highlights of Arlington's development include Depression-era gambling at Top O' Hill and Arlington Downs, Progressive values in the Berachah Home for Erring Girls, higher education through the University of Texas at Arlington, and economic expansion with General Motors. More recently, energetic citizens like former mayor Tommy Vandergriff helped bring two professional sports teams to Arlington. Today the Texas Rangers and Dallas Cowboys share top billing with the city's other signature attractions—Six Flags Over Texas and Hurricane Harbor.