pull down to refresh

I'm not sure. Panama owns the canal, but I think various entities are involved in running it.