Text this: US Allies Warn Hormuz Is Still Mined Despite Trump Claim.