Michael W. Bayley - Royal Caribbean International
Analyst
That question is exceptionally difficult to answer because, of course, as one ship comes in, we redeploy other ships. So there's a lot of movement of deployment to accommodate ships that we put into specific products during specific times. So I'm not sure that's an easy answerable question. I can tell you that when you look at our deployment in the Caribbean in 2018, we're obviously excited about the fact that Symphony of the Seas is coming in, in the fourth quarter. And I think as we'd previously mentioned, Symphony is knocking it out of the park in terms of booking. I mean, it was doing exceptionally well before we introduced it. And literally, one little statistic, the week after we introduced Symphony of the Seas, our bookings beat track by 50%. That's the week after we introduced the ship. So it's really performing well. It's coming into the Caribbean, and it's coming into our new terminal, Terminal A. And then of course, Celebrity Edge as well. To Jason's comments about Mariner – Mariner is, we're very excited about Mariner as a product coming into the shorts market, and that's very much focused on new-to-cruise and millennial, and that really is the on-ramp for that market. That ship is literally like having an Oasis class ship in the short product market because its capacity is just over 3,000, 3,200, 3,400 every three or four days, and the sweet spot for Mariner is just coming up. So we're about three months away from launching the ship into the shorts market, and already sales are good for that product.
Steven Moyer Wieczynski - Stifel, Nicolaus & Co., Inc.: Okay. Got you. Thanks for that color. And then the second question would be around buybacks. You bought back $275 million first quarter. You exhausted your repo program. And I guess the question is now, you continue to execute – continue to produce pretty good results and solid results. And obviously, looking to your stock today, it's not really working. So how should we think about you guys, right now not having a repo program in place and kind of the capital deployment plan you guys see?