US carrier launches strikes from Arabian Gulf

Strikes are first by carrier since Theodore Roosevelt left in October