Cross-bedded sandstone (Navajo Sandstone, Lower Jurassic; north of Bootlegger Canyon, Utah, USA) 4