Equatorial Magnetosonic Waves Observed by Cluster Satellites: The Chirikov Resonance Overlap Criterion