Navajo Mine is acquired by BHP.