Variegated / Common lizardfish (Synodus variegatus). Rinca, Indonesia