20150717 world.us: Four marines and suspected gunman killed in US shootings