The Treasury Basis Trade is Down From Its Highs But Remains Enormous at ~$1 Trillion