US reports a record $738 billion budget deficit in April