Daerah Gempa Tektonik Berkekuatan 3,1 SR Mengguncang Sinjai, Tidak Berpontensi Tsunami Senin, 1 Oktober 2018