Arthur Porter dies in Panama