Challenge: Xiangqi Mystery: "The Red's Flanking Maneuver with Double Horses Traps the Black's Defensive Formation" - Can you solve it?

This formation resembles an ancient chess puzzle with a decisive tactic - when the Red side unleashes a cannon threat, the swift double horses trap the Black side in a no-escape situation. Could this be the legendary 'Empty Cannon Double Horses' formation? Let's unravel the mystery through these thrilling chess positions!