Ben Armentrout runs meet record 15:42