Colby Gilbert runs 7:45 3k, a new Washington school record