Un terremoto de magnitud 5,6 sacudió la provincia indonesia de Java Occidental, según un funcionario local