July 5 1942 naval action