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

– Jack Adams