Optimal Trade Execution with Instantaneous Price Impact and Stochastic Resilience