Prop 205: Wind down OCEAN-USD, EURC-USD, WBTC-USD and AMPL-USD and disable them in the marketmap, and disable already delisted markets in the marketmap