Florida Gov. Ron DeSantis (R) is the non-Trump candidate, but that can change.
http://www.washingtonpost.com/