Current manager, Roberto Martínez, is the fourteenth permanent holder of the position since it was established in 1939. Who has been Everton's shortest serving manager?