What an enormous loss. RIP King.