The prophet Isaiah and king David