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

dallasnews.com at Monday Nov. 6, 2017, 3:02 a.m. UTC