Interesting quote from nick at SD about interlacing/progressive:
Most stations run SDI at 1080p60. This is done to generate 720p60 for cable without interlacing and 1080i60 for broadcast. Now with ATSC 3.0 you get the full 1080p60.
https://forum.silicondust.com/forum/viewtopic.php?p=402420#p402420
And a thread about 3.0 and sports *ChannelsDVR is mentioned in it.