After you file

If they were redeemed in 2017 then you will report the interest in 2017.   The rule you are asking about hasn't been enforced ever.