The Obamacare Mandate Is a Tax, So the Senate Bill Is Correct