Inversion of deep-ocean tsunami records for 1987 to 1988 Gulf of Alaska earthquake parameters