WASHINGTON (Reuters) - Trading revenue of U.S. banks shot up 20 percent in the third quarter from the same period in 2015, to $6.4 billion, even though it edged down nearly 9 percent from the previous quarter, the Office of the Comptroller of the Currency reported on Wednesday.