Real options, optimal stopping, volatility ambiguity, correlation ambiguity, G-Brownian motion, verification theorem