Operations resume after Alaska Airlines briefly grounds fleet Shorts [fVLhPcurlp2]