Operation Praying Mantis shows risks of US-Iran clash in Persian Gulf