Exclusion process, stationary TASEP, Random matrices