Two Iranian ships docked in China have been loaded with a critical ingredient to produce propellant for ballistic missiles, people familiar with the matter said—a demonstration of the challenge ...