Philippines resumes coast guard patrols at disputed shoal