The D.C. delegation said it was “duty bound” to to cast 10 votes for Florida Sen. Marco Rubio and nine for Ohio Gov. John Kasich. But the party secretary announced that all 19 of the District’s votes would be awarded to Donald Trump.