GPS module with 10Mhz or 10Khz output

Hardware Arduino Due
1

Hello,

I wonder if anyone on the list knows of an OEM GPS module that has a GPS-locked reference frequency output (other than 1pps)???

TIA

Glen K4KV

2