Orange County restaurants shut down by health inspectors (May 27-June 4)