Shell earns US$1 billion a year from US crude trading, court filing shows