J. Crew navy with red tuxedo stripe cropped pants military size 6 petite

J. Crew Factory navy blue cropped dress pants with a red tuxedo stripe. High rise tapered leg. Front pockets. Flat lay front. Button pockets in the back. Excellent condition. Sz 6 petite. All measurements are flat lay Waist 16” Inseam 25” Rise 10”