Any lessons from the last time MLB shortened its season?