When you connect to an ssh server with your ssh client, the public key of the server is compared to the keys stored in a file on the client computer. Which file is this?