Proof of a conjecture on the strong chromatic index of Halin graphs