Is Cruz the longest reigning inactive champion?Every other time this has happened the belt has been stripped. Am I right?