How many 1933 double eagles are in existence?

The US Mint reported they thought 10 had been stolen and removed from the mint by an employee. Another 2 coins were placed in the national coin collection. Of the 10, all 10 have been recovered. 9 were destroyed and the last one was sold at auction in 2002 for $7,590,020. In 2005 another 10 coins appeared and were confiscated by mint officials. Doing the math, unless more coins surface at a future time, there should be 13 of the 1933 double eagles in existence today.