USS Theodore Roosevelt ops against IS