In 1796, the U.S. Supreme Court ruled that a Virginia statute regarding Revolutionary War debts was invalid because it was inconsistent with the federal treaty that ended the war. This is an example of which judicial doctrine?