A Scotsman just ran the fastest mile that any British person has ever ran

I suspect a Scotsman has probably ran faster at some point in history, when chasing a Haggis, or running head first at an invading English or Roman army.