That was 4:02 p.m. local time in Dallas. Citations.

dallasnews.com at Monday Oct. 10, 2016, 9:02 p.m. UTC