The 15-year-old boy provided a tip to police that the Ohio school district said was a "credible plot to harm students and staff” at Mariemont High School by another student.