Affordable Care Act Lawsuit - August 9 Plaintiffs' Default Motion Re: Summary Judgment