It looks more and more like it will be President Trump versus Mini-Mike in 2020.