US bombs Iranian mine laying boats — Trump