Wall Street Journal: Grossi's visit to Tehran follows agreement to monitor nuclear facilities