A Dirichlet domain for the complement of ICMC Knot ($9_{23}$) (Movie by Rafael Siejakowski)