Greetings Beardo,

Yes, if you contact the Helms/Burton unit at the U.S. State Department, you'll find that the shipyards have indeed been registered, I've included reference to contacts at State for anyone wishing to look further into this topic.

Best,
GabrielFoto