The month of October shall be designated as "Ohio Principals Month" to honor the service of all elementary, middle, and high school principals and to recognize the importance of school leadership in ensuring that every child has access to a high-quality education.
R.C. § 5.2315