Historical development, present status and management guidelines for the Port Royal Mangal, Jamaica