US aircraft carrier for Olympics' security?