The war was just over — September 2, 1945. The streets of the nation, especially the big cities like New York and Los Angeles, had been teeming with military men. So it’s not that unusual that choreographers were putting these figures into their dances. And yet, it’s odd, isn’t it, that a trio of sailors ...