That the Senate— ⋯ (1) recognizes the month of October 2017 as “National Principals Month”; and ⋯ (2) honors the contribution of principals in the elementary schools, middle schools, and high schools of the United States by supporting the goals and ideals of National Principals Month. ⋯