@joseph. That is what I said, except for one irrelevant point. I believe it is the incoming congress, but it does not matter, that will be republican too.
But in every other year that this might happen except this one, it would be a near certainty that the congress would pick the party nominee. Some are saying that if this happened, the repubs would pick Johnson (who was a repub governor) and not Trump. They are limited to picking the top three (electoral) vote receivers, which means Johnson would have to win at least one state.
It gets even more interesting if he does not win any states, as anyone (including Johnson) could receive a vote from a faithless elector, and thus we could have president Paul Ryan or whoever