GOP wants to run @SenRandPaul @marcorubio @SenTedCruz in 2016. They voted to default. #gopshutdown