I'm sorry, but I couldn't find any information about a city called "San Pedro Jagua." It's possible that the city you're referring to has a different official name or may be a small or lesser-known location. Can you provide any additional information or clarification?