That time Rand Paul threw shade on Rick Santorum