Delete josephus.rkt