Kafka, Metropolis, and the Hardy Boys enter US public domain in 2023