Development Works at Pedra Branca to Enhance Maritime Safety and Security