I'd try a STM32 as mentioned earlier in this thread , a cheap tssop20 F0'
PLL: Divide by 13 , Mul by 10 --> SysClock 20Mhz
Set up a timer for divide by 2 , and you got a 10Mhz square.
You would get some jitter , and maybe temperature variations.
But it's cheap , and maybe even fun.
You'd have to adjust the 5v out of the pletronics to 3.3v before feeding it to the STM.
The real way us a 10Mhz OCXO as suggested by others here.
/Bingo
Ps: I have 5 of those Pletronics 26Mhz , and they have nice specs (even efc) - see J.Beales notes attached