At a race, the winner ran 10 miles in 100 minutes. How many minutes did he take to run one mile?