Cumberland's Sean Laverty runs mile PR of 4:13