US crude exports hit four-year low in July on low domestic supplies - Reuters