7. Zvanična valuta Washington D.C. je: