Trent Williams asks Redskins to trade or release him