Orange County restaurants shut down by health inspectors (Nov. 12-20)