North Texas, the day after Christmas 2018 — the wind was whipping a storm up from the southeast, dark clouds came rolling in, and heavy rain, with the frequent flash and boom of thunderstorms, was soon to follow.