Wikipedia agrees with you that the primary source of this steel is from old ship...

yreg on Nov 14, 2018 | parent | context | favorite | on: Chinese Tokamak reaches over 100M degrees

Wikipedia agrees with you that the primary source of this steel is from old ships. It is used for Geiger counters, aerospace sensor etc.