NBC and other media reported he was the pick. But all ‘reports’ are only that, until Trump formally names the person. Seems it isn’t a final thing yet.