Trump says Navy will ‘shoot and kill’ boats laying mines in Strait of Hormuz