A type of lava (thanks, Wikipedia)