Arduino compatible GPS modules with support for GAGAN SBAS and 10Hz rate support

Looking for an Arduino compatible GPS module that supports: - GAGAN SBAS AND - 10Hz update rate

Any suggestions? Not able to find one that meets both requirements.

Thank you.