Jornal Do Brasilia - Colts quarterback Wentz traded to Washington