It was sold to Red China for scrap.
Seriously.
It would be a chuckle if they suddenly floated it out to grab that F-35.