It’s official: The Philippines can sue over China’s South China Sea claims