BREAKING: The US federal government has posted a record July budget deficit of $432 billion.