Trump warns of 'very strong action' if Iran executes protesters