It's three months now since Hurricane Maria slammed into the island of Puerto Rico. It was the most powerful storm to hit the US territory in the best part of a century. The BBC's Tim Allman reports on how the people of Puerto Rico are trying to cope with their first Christmas since the hurricane hit.