OC police providing increased presence at schools after Texas shooting