Trump got 12,723 votes in D.C.
That was 4.07% of the total vote in D.C.
There is no place in the link I sent you that says Trump got 10% of the vote in D.C.
I made the error of taking the number against Trump as being pro-Hillary. So I apologize for wasting your time.