While summer break in the Mukilteo School District is in full swing, many students aren’t putting away their No. 2 pencils just yet.

The district will kick off its summer school program Monday, July 9. Students may still register for some of the ...