Indonesia has deployed major emergency resources, including navy hospital ships, to East Nusa Tenggara after a magnitude seven point seven earthquake and thousands of aftershocks caused extensive infrastructure damage and complicated recovery efforts.