Market Whales and Their Recent Bets on Morgan Stanley Options