US posts $240B budget deficit in May