America’s largest iron ore producers—Rio Tinto and BHP—they’re dreaming, aren’t they?