St. Patrick’s Day in Coral Gables? John Martins on Miracle Mile