IPS (8477) or visit Denton County Crime Stoppers.

CBS News Texas will provide updates as more information becomes available.