My Brazilian friends and I were looking for the pier to catch
a boat ride along the Rio coast. But we discovered there was
no service that day because of the official holiday.