The Real Once In A Life Time

i was just looking around at the yearly wrestling awards and came to notice the two of John Cena's matches of the years. the first one was John Cena Vs. Shawn Michaels then it was John Cena Vs. Cm Punk. So this got me thinking has Shawn Micheals Vs. Cm Punk ever happened? and if not i honestly think this match is still do-able and they should so do this match down the line, i would guess this match a 5 stars just on the paper value alone.
who else would want to see this match?
but if not this match then what match would you want Shawn Micheals to come back to?

Mainly because it hasn't happened yet and Mark Henry is a beast, and maybe the build isn't Shawn Michaels' last match but that's what happens when Henry murderalizes him and he goes home on a stretcher.