Actually, that is a new fountain. It was being worked on in May 2017 while we were staying in Porto Cupecoy.