INS Tushil has arrived at Lagos