texas nuclear serial 5920