US budget deficit hits all-time high of $864B in June