Trump says US pilots OK after helicopter crashed near Strait of Hormuz