Trump mulls military options for Iran