The World’s Most Valuable Coin?

The 1933 Double Eagle sold at auction for a record $7,590,020 in 2002. But is it the world's most valuable coin?

How about this coin, also American, minted in 2011?

It's made of nothing special, metal-wise, just some copper and nickel. On the front is a red X. The back bears a date: MAY 1, 2011 . That's U.S. time, not incidentally, as opposed to Abbottabad time. These limited-edition coins were given to CIA officers who were instrumental in finding Osama bin Laden. Priceless?

Related link: Once a Spy