Fernando Martinez not stripped of IBF title, the belt was relinquished