NBC: Governor signs ban on DEI in Ohio public colleges despite opposition by students and teachers