After you file

I highly recommend your friend seek local professional assistance versed in PR returns ... I believe he needs to file a US return but not sure if he still needs to file a PR return :  

 

https://en.wikipedia.org/wiki/Taxation_in_Puerto_Rico