Asymptotic structure of a Leray solution to the Navier–Stokes flow around a rotating body