Arithmetic Compactifications of Pel-Type Shimura Varieties by Kai-Wen Lan