The Iran Deal Is Hazy on Hormuz