Dinastía del futbol de Denton County es oficial: cuatro equipos en rankings estatal