Has this water fountain been removed, or is it just out of order/disabled, perhaps because of coronavirus concerns? At https://www.openstreetmap.org/note/980341 I confirmed it was present a couple of years ago. But unlikely to be going there in the near future.