Measles Outbreak in a Highly Vaccinated Population — Israel, July–August 2017