Halite cementation and carbonate diagenesis of intra