Truncations of random unitary matrices