Ammosaurus major (gr.