White to move. What is optimal play for White?