He broke the indoor mile world record over the weekend.