The World’s Largest Colony of King Penguins Has Shrunk by Almost 90%