Reserve Officer Training Corps fate up to faculty at Grinnell.