Lexington did launch its air group when a Japanese carrier was reported.