Sir Roger Bannister RIP (1929-2018)