Is Disneyland going to be crowded at all this week? We are going to the park on May 16-17.

How are the crowds and lines usually like in mid-May? Are schools in the LA/Orange County area already out for their summer break? Thanks in advance!