An exact reduction technique for the k-Colour Shortest Path Problem. (January 2023)