High School Boys' Mile Championship - Gary Martin 4:01!