US boards ship carrying Iran oil as Trump threatens mine-laying vessels