US budget deficit stands at $211B in July